using DySy.Framework;
using Microsoft.Pex.Framework;

using StackAr.DataStructures;


namespace StackAr
{
    /// <summary>
    /// Entry point for Pex.
    /// </summary>
    /// <remarks>
    /// (Arrays=true) is a hack to track level-one array element updates
    /// </remarks>
    [PexClass(typeof(StackAr.DataStructures.StackAr))]
    [DySyAnalysis(Arrays=true)]
    public class PexTestClass
    {
        [PexMethod]
        public void PexMain()
        {
            StackArTester.Main(new string[0]);
        }
    }
}
